منابع مشابه
Partial Horn logic and cartesian categories
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the substitution rule has to be modi ed. It is developed here in its minimal form, with equality and conjunction, as partial Horn logic . Various kinds of logical theory are equivalent: partial Horn theories, quasi-equational ...
متن کاملCartesian Logic AN ESSAY ON DESCARTES'S CONCEPTION OF INFERENCE
to provide us with any secure guidance at this level. All that it tells us i:; that the route to be followed is that of 'intuition' and 'deduction'. As regards the huter, it might appear that Descartes is inconsistent in maintaining on the one hand that deduction is part of the process of attaining scientific knowledge, and on the other that we require no rules of inference. But Descartes does ...
متن کاملCartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic
It is proved that all the isomorphisms in the Cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free Cartesian category is an isomorphism. Introduction. We believe that a logi...
متن کاملنقد کتاب Descartes Embodied: Reading Cartesian Philosophy through Cartesian Science
مقالة پیش‌رو به نقد و بررسی کتاب Descartes Embodied: Reading Cartesian Philosophy through Cartesian Science نوشتة دَنیِل گَربِر اختصاص دارد. گربر از برجسته‌ترین پژوهش‌گران فلسفة دوران مدرن و دکارت‌شناس معاصر، کتاب را به‌سال 1980 نوشته و دانشگاه کمبریج آن را منتشر کرده است. این اثر به زبان فرانسوی نیز به چاپ رسیده اما ترجمة فارسی از آن در دست نیست. اثر مجموعه مقالاتی است که نویسنده پیش از این جدا‌ج...
متن کاملCartesian Mechanisms
If we follow a traditional reading of Descartes and throw in some of our favorite German philosophers (Kant, Husserl and Heidegger, for instance) we can isolate a doctrinal current that says that the pure intellect has no immediate access to the extra-mental world. This reduction of experience to reason forces the question of the external world’s existence, leading to Heidegger’s assertion that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00328-5